Sfoglia per ???browse.type.metadata.subjectIsicrui??? Ingegneria Matematica
Parallel dedicated machines scheduling with chain precedence constraints
2012-01-01 Agnetis, A; Kellerer, H; Nicosia, G; Pacifici, A
Partitioning a matrix to minimize the maximum cost
1995-01-01 Mingozzi, A; Ricciardelli, S; Spadoni, M
Patent number EP2008/25640: fine protection solution for multi-layer networks
2008-01-01 Iovanna, P; Oriolo, G; Sabella, R; Sanita, L
Perfect model checking via unfold/fold transformations
2000-01-01 Pettorossi, A; Proietti, M
Problema num. 151
2010-01-01 Perfetti, P
Problema num.161
2010-01-01 Perfetti, P
Problema n°12
2010-01-01 Perfetti, P
Problema n°1233
2010-01-01 Perfetti, P
Problema n°1240
2011-01-01 Perfetti, P
Problema n°171
2009-07-01 Perfetti, P
Problema n°19
2011-01-01 Perfetti, P
Problema n°22
2011-01-01 Perfetti, P
Problema n°23
2011-01-01 Perfetti, P
Problema n°3557
2010-09-01 Perfetti, P
Problema n°3583
2010-11-01 Perfetti, P
Problema n°3596
2010-12-01 Perfetti, P
Problema n°4
2010-01-01 Perfetti, P
Problema n°5
2010-01-01 Perfetti, P
Problema n°6
2010-01-01 Perfetti, P
Program transformation for program verification
2013-07-01 Pettorossi, A; Proietti, M
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2012 | Parallel dedicated machines scheduling with chain precedence constraints | Agnetis, A; Kellerer, H; Nicosia, G; Pacifici, A | Articolo su rivista | |
| 1-gen-1995 | Partitioning a matrix to minimize the maximum cost | Mingozzi, A; Ricciardelli, S; Spadoni, M | Articolo su rivista | |
| 1-gen-2008 | Patent number EP2008/25640: fine protection solution for multi-layer networks | Iovanna, P; Oriolo, G; Sabella, R; Sanita, L | Brevetti | |
| 1-gen-2000 | Perfect model checking via unfold/fold transformations | Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-2010 | Problema num. 151 | Perfetti, P | Articolo su rivista | |
| 1-gen-2010 | Problema num.161 | Perfetti, P | Articolo su rivista | |
| 1-gen-2010 | Problema n°12 | Perfetti, P | Articolo su rivista | |
| 1-gen-2010 | Problema n°1233 | Perfetti, P | Articolo su rivista | |
| 1-gen-2011 | Problema n°1240 | Perfetti, P | Articolo su rivista | |
| 1-lug-2009 | Problema n°171 | Perfetti, P | Articolo su rivista | |
| 1-gen-2011 | Problema n°19 | Perfetti, P | Articolo su rivista | |
| 1-gen-2011 | Problema n°22 | Perfetti, P | Articolo su rivista | |
| 1-gen-2011 | Problema n°23 | Perfetti, P | Articolo su rivista | |
| 1-set-2010 | Problema n°3557 | Perfetti, P | Articolo su rivista | |
| 1-nov-2010 | Problema n°3583 | Perfetti, P | Articolo su rivista | |
| 1-dic-2010 | Problema n°3596 | Perfetti, P | Articolo su rivista | |
| 1-gen-2010 | Problema n°4 | Perfetti, P | Articolo su rivista | |
| 1-gen-2010 | Problema n°5 | Perfetti, P | Articolo su rivista | |
| 1-gen-2010 | Problema n°6 | Perfetti, P | Articolo su rivista | |
| 1-lug-2013 | Program transformation for program verification | Pettorossi, A; Proietti, M | Intervento a convegno |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile